Constraint nets: a semantic model for hybrid dynamic systems

Constraint Nets: A Semantic Model for Hybrid Dynamic Systems

Hybrid dynamic systems are systems consisting of a non-trivial mixture of discrete and continuous components, such as a controller realized by a combination of digital and analog circuits, a robot composed of a digital controller and a physical plant, or a robotic system consisting of a computer-controlled robot coupled to a continuous environment. Hybrid dynamic systems are more general than t...

Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems

To cite this version: Alexander Bockmayr, Arnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. [Interne] A02-R-026 —— bockmayr02a, 2002, 15 p. HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching an...

Hybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time

The existing modeling methods using Petri Nets‎, ‎have been successfully applied to model and analyze dynamic systems‎. ‎However‎, ‎these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals‎, ‎systems including various subsystems and multi-mode systems‎. ‎This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem‎. ‎In ...

Probabilistic Constraint Nets: Constraint-Based Approach to Modeling and Verification of Hybrid Systems with Uncertainty

Due to the recent technological advances, real-time hybrid dynamical systems are becoming ubiquitous. Most of these systems behave unpredictably, and thus, exhibit uncertainty. Hence, a formal framework to model systems with unpredictable behaviours is needed. We develop Probabilistic Constraint Nets (PCN), a new framework that can handle a wide range of uncertainty, whether it be probabilistic...

“ Special Issue on Hybrid Petri Nets ” Discrete Event Dynamic Systems